TAGs: implementation specification